namespace nullability_NullPassedToNonnull {
	// OC 
	
	//if (name != nil)
	//return;
	//// Warning: nil passed to a callee that requires a non-null 1st parameter
	//NSString* greeting = [@"Hello " stringByAppendingString:name];
}